extract:

fetch:
	wget http://www.antlr3.org/grammar/1336156363937/FOL.g
	mv FOL.g fetched/
